121. Computer supported education :
پدیدآورنده: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
122. Computing in Horn Clause Theories
پدیدآورنده: by Peter Padawitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
123. Conceptual modeling :
پدیدآورنده: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
124. Conceptual modeling--ER 2011 :
پدیدآورنده: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
125. Concurrency, Compositionality, and Correctnes
پدیدآورنده: / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Software engineering.,Computer software.,Logic design.
126. Connectomics in neuroimaging :
پدیدآورنده: Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Brain-- Imaging, Congresses.,Brain mapping, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Brain-- Imaging.,Brain mapping.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.
رده :
RC386
.
6
.
B7
127. Constructive Methods in Computing Science :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
128. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
129. Databases and Information Systems :
پدیدآورنده: edited by Janis Barzdins, Albertas Caplinskas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
130. Delta-4:
پدیدآورنده: edited by David Powell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
D5
E358
1991
131. Dependable computing--EDCC-1 :
پدیدآورنده: Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
132. Design Science at the Intersection of Physical and Virtual Design :
پدیدآورنده: edited by Jan Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information systems.,Software engineering.
رده :
QA76
.
9
.
S88
E358
2013
133. Developments in Language Theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
134. Digital Circuit Design for Computer Science Students :
پدیدآورنده: by Niklaus Wirth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronics.,Engineering.,Logic design.
رده :
TK7888
.
4
B965
1995
135. Distributed Environments :
پدیدآورنده: edited by Yutaka Ohno, Toshiko Matsuda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.
رده :
QA76
.
76
.
D47
E358
1991
136. Distributed programming : theory and practice
پدیدآورنده: / A. Udaya Shankar
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Computer science,Software engineering,Logic design
رده :
QA76
.
6
137. ESPRIT '90 :
پدیدآورنده: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.
138. Embedded systems :
پدیدآورنده: James K. Peckol, Ph. D., University of Washington.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded computer systems.,Object-oriented methods (Computer science),COMPUTERS-- General.,Embedded computer systems.,Object-oriented methods (Computer science)
رده :
TK7895
.
E42
139. Embedded systems and computer architecture /
پدیدآورنده: G.R. Wilson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture.,Embedded computer systems.,Ordinateurs-- Architecture.,Systèmes enfouis (Informatique),Computer architecture.,COMPUTERS-- Systems Architecture-- General.,Embedded computer systems.
رده :
TK7895
.
E42
W55
2002eb
140. Encyclopedia of Computer Science and Technology /
پدیدآورنده: edited by Phillip A. Laplante.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
رده :
T58
.
5
.
E53
2017
